The trivial group made
نویسنده
چکیده
Coset enumeration, based on the methods described by Todd & Coxeter, is one of the basic tools for investigating nitely presented groups. The process is not well understood, and various pathological presentations of, for example, the trivial group have been suggested as challenge problems. Here we consider one such presentation. We show that it is much easier than it rst appears, albeit at the expense of considerable preliminaryèxperimentation'.
منابع مشابه
On trivial ends of Cayley graph of groups
In this paper, first we introduce the end of locally finite graphs as an equivalence class of infinite paths in the graph. Then we mention the ends of finitely generated groups using the Cayley graph. It was proved that the number of ends of groups are not depended on the Cayley graph and that the number of ends in the groups is equal to zero, one, two, or infinity. For ...
متن کاملOn continuous cohomology of locally compact Abelian groups and bilinear maps
Let $A$ be an abelian topological group and $B$ a trivial topological $A$-module. In this paper we define the second bilinear cohomology with a trivial coefficient. We show that every abelian group can be embedded in a central extension of abelian groups with bilinear cocycle. Also we show that in the category of locally compact abelian groups a central extension with a continuous section can b...
متن کاملA COVERING PROPERTY IN PRINCIPAL BUNDLES
Let $p:Xlo B$ be a locally trivial principal G-bundle and $wt{p}:wt{X}lo B$ be a locally trivial principal $wt{G}$-bundle. In this paper, by using the structure of principal bundles according to transition functions, we show that $wt{G}$ is a covering group of $G$ if and only if $wt{X}$ is a covering space of $X$. Then we conclude that a topological space $X$ with non-simply connected universal...
متن کاملJordan derivation on trivial extension
Let A be a unital R-algebra and M be a unital A-bimodule. It is shown that every Jordan derivation of the trivial extension of A by M, under some conditions, is the sum of a derivation and an antiderivation.
متن کاملZoltán Balogh Memorial Topology Conference Abstracts Metrizably Fibered Go-spaces Forcing Hereditarily Separable Countably Compact Group Topologies
Using forcing we produce a model of ZFC + CH (with 2 arbitrarily large) and, in this model, we obtain a characterization of the Abelian groups G (necessarily of size at most 2) which admit: (i) a hereditarily separable group topology, (ii) a group topology making G into an S-space, (iii) a hereditarily separable group topology that is either precompact, or pseudocompact, or countably compact (a...
متن کاملOn derivations and biderivations of trivial extensions and triangular matrix rings
Triangular matrix rings are examples of trivial extensions. In this article we determine the structure of derivations and biderivations of the trivial extensions, and thereby we describe the derivations and biderivations of the upper triangular matrix rings. Some related results are also obtained.
متن کامل